const INVARIANT: comptime_int = 127;