#include <unistd.h>

_syscall1(int, print, char*, s);