// Enable this when https://github.com/boa-dev/boa/pull/3781 is fixed and merged.
export { foo } from "./file4.js";