procedure Test.0 ():
    let Test.3 : Builtin(Int(I64)) = 3i64;
    ret Test.3;