6f98fd7ebb ^
1 2 3 4 5 6 7 8 9 10 11
#include <stdio.h> int main (void) { putc ('1', stderr); putc ('2', stderr); return 0; }