#include <unistd.h>
int main() { write(1, (void*)0x08048001, 3); return 0; }