// PASS probe — deliberate evaluator boundaries stay silent and degrade to
// unknown: floats, `#`-builtins, an i128-overflowing fold (downstream
// compile-time integers are arbitrary-precision), an oversized shift,
// signed division rounding (gated behind dedicated builtins downstream),
// a forward reference, and mutation through a `var`.

const Float = 1.5 * 2.0
const Size = #sizeOf(u32)
const Big = 170141183460469231731687303715884105727 + 1
const Wide = 1 << 200
const Round = -7 / 2
const Forward = Later * 2
const Later = 21

fn counter() usize {
    var n usize = 0
    n += 1
    return n
}