export module M12;

// Import statements here.
import M15;
import M16;

export int f12() {
  return f15() + f16();
}