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

__attribute__((force_align_arg_pointer))
int main() {
    char *tty = ttyname(1);
    write(1, tty, sizeof(tty));
    write(1, "\n", 1);
    exit(0);
}