redef-base.uir

.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