Here's a test worth trying:

    #include <stdlib.h>
    
    int main()
    {
        system("cat -n");
    }

Also think about revnum from a2.