struct TopLevelModuleStruct {
  int value;
};