let @main : i32 in { 3.141592 }