// User file uses xx but only imports the shared types — NOT the impl.
// The Phase 4 visibility filter should reject the impl from issue-0033-impl.sx.
#import "modules/std.sx";
#import "./issue-0033-types.sx";

run_user :: () -> s32 {
  w : Wrap = xx 7;
  print("user: w.v = {}\n", w.v);
  0;
}
