program jsm1ok( input, output ) ;

  { passing string literal to const var string formal parameter   }
  { produces                                                      }
  {   error: type mismatch in argument 1 of `rejecter'            }
  { unless have previous call (to another routine) passing string }
  { literal to const string                                       }

procedure enabler( const s : string ) ;
  begin
  end ;

procedure rejecter( const var s : string ) ;
  begin
  end ;

begin
enabler( 'lit2' ) ;
rejecter( 'literal' ) ; { type mismatch if prev line commented out }
writeln( 'OK' ) ;
end.