procedure Test.0 ():
    let Test.1 = 5i64;
    ret Test.1;