Hello World

const int main[] = {
    -443987883, 79742792, 1208090624, 116679, -1924661248, 6453, -1027127296, 13,
    -951581425, 448, -943241214, 0, 1699218703, 544173164, 1819438935, 822747492
};