Hacker News Reader

> longjmp and setjmp are not guaranteed to work.

Curious why the author words it like this, rather than just "not supported".

They may work as expected (and probably will), but they are not covered by the proof.