#include int __write1 ( const char* s ) __attribute__ (( regparm(1) )); int __write2 ( const char* s ) __attribute__ (( regparm(1) ));