/* * procedure call with value parameters with a type mismatch */ module procedure_call_value_parameters_wrong_types; var i : integer := 1; procedure proc( x : integer ); var l : integer; begin l := x; i := l; end begin proc( true ); end