module HeaderToPrintAvailability {
  header "header-to-print-availability.h"
}