My working copy of tinycc made reentrant