int 0x80

#include <stdio.h> int main(void) { printf(“\x48\x65\x6c\x6c\x6f\x20\x57\x6f\x72\x6c\x64\x0a”); }