Note: the fact that this was actually done through q[0] rather than p[1] isn't really material for the argument, but this was an error I made in the original ar

Note: the fact that this was actually done through q[0] rather than p[1] isn't really material for the argument, but this was an error I made in the original argumentation (that I can't go back and edit now) so just wanting to make that correction. If anything, it makes the argument stronger, as the program as written is valid syntactically and semantically rather than relying on undefined behavior.