Oh my god, U+007F (DELETE) is a valid character in PHP variable names, everything I knew is a lie https://eval.in/788177
Those little red squares are delete control characters. https://awoo.space/media/-ORrq2EVEXvHDNErTMM
@bunnyhero @Efi suggested testing whether the variable name was actually `$va`, but, no... lol