// @ts-ignore
@exportAs("new")
export function main(): u32 {
  return 42;
}