t / t4018 / cpp-skip-labelson commit travis-ci: save prove state for the 32 bit Linux build (7e72cfc)
   1void RIGHT (void)
   2{
   3repeat:         // C++ comment
   4next:           /* C comment */
   5        do_something();
   6
   7        ChangeMe;
   8}