fwiw, `substring(0, 1)` is generally a tiny bit faster.