#include <unistd.h>
#include <stdlib.h>

__attribute__((force_align_arg_pointer))
int main() {
    write(1, ":3\n", 3);
    exit(0);
}