// Depends on __COUNTER__, which is not yet standardized.
// https://isocpp.org/files/papers/P3384R0.html
// https://open-std.org/JTC1/SC22/WG14/www/docs/n3457.htm

#if __COUNTER__ == 0/*/
#if __COUNTER__ == 0/*/
#include __FILE__/*/
#include __FILE__/*/
//*/
extern int last_line;
extern int last_line;

int main(void){return printf("%d %d\n", __COUNTER__, last_line);}/*/
int main(void){return printf("%d %d\n", __COUNTER__, last_line);}/*/

int last_line = __LINE__;/*/
int last_line = __LINE__;/*/
#endif/*/
#endif/*/
#include<stdio.h>/*/
#include<stdio.h>/*/
#include<stdlib.h>/*/
#include<stdlib.h>/*/
#line __COUNTER__//*/