program jsm1bad( 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 }
end.