t / t4018 / cpp-class-definition-derivedon commit travis-ci: save prove state for the 32 bit Linux build (7e72cfc)
   1class RIGHT :
   2        public Baseclass
   3{
   4        int ChangeMe;
   5};