export module target7; import target6; export int target7() { return target6(); }