Use __attribute__ to signal functions which exit, use printf formats
or allocate memory.