our use of __attribute__ ((constructor)) in C code produced from safeC is not ANSI standard
