let @main in { 1 + 3 * 5 }