let @main : i32 in {
    %4
}