module C {
  header "Inputs/modular_maps/c.h"
}