const sentinel_mismatch: *const [17:0]u8 = "sentinel mismatch";