#include #include __attribute__ ((section ("entry"))) void main() { char* msg = read(); print(msg); sleep(4500); return; }