modtest/src7.ixx

export module M7;

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

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