#include <stdio.h>

int main() {
    printf("%s %s %s\n", __DATE__, __TIME__, __func__);
    printf("%s %d\n", __FILE__, __LINE__);
    printf("%d\n", __STDC__);
    return 0;
}