// Phase 133-P0: loop(true) break-once with multiple post-loop assignments
//
// Purpose: Test loop(true) { <assign>* ; break }; <assign>*; return in Normalized shadow
// Expected output: 6
//
// Structure:
//   x = 0              // pre-loop init
//   loop(true) {       // condition is Bool literal true
//       x = 1          // body assignment
//       break          // break at end
//   }
//   x = x + 2          // first post-loop assignment (1 + 2 = 3)
//   x = x + 3          // second post-loop assignment (3 + 3 = 6)
//   return x           // return updated value

static box Main {
    main() {
        local x
        x = 0
        loop(true) {
            x = 1
            break
        }
        x = x + 2
        x = x + 3
        return x
    }
}
