export module target4; import target3; export int target4() { return target3(); }