#include <stdio.h>
    int main(void) {
        printf("%8lx\n", (int){42});
    }