This is something I only every run into when testing with my own code, but it always comes up because I'm lazy as fuck.

The crash function doesn't actually need an argument - if you omit it, byond just gives it NULL.

CRASH() is valid

http://www.byond.com/docs/ref/#/proc/CRASH (not mentioned here though though lol)