#include "of1275.h"
int write(int fd, char *buf, int len);
int main(void)
{
write(1, "Hello world!\n", 13 );
return 0;
}