.typedef @i64 = int<64>
.const @I64_42 <@i64> = 42
.funcsig @IntReturner = () -> (@i64)
.funcdef @meaning_of_life VERSION %v1 <@IntReturner> { %entry():
[%ret] RET @I64_42
} .funcdecl @foxsay <@IntReturner>
.expose @meaning_external1 = @meaning_of_life #DEFAULT @I64_42