#include <stdio.h>

#define PRINTF(format, ...) \

printf(format " %s %d", __VA_ARGS__, __FILE__, __LINE__)

int main() {