modtest/src9.ixx

export module M9;

// Import statements here.
import M12;
import M13;

export int f9() {
  return f12() + f13();
}