program om; var a, b, c: integer; var d, e: real; procedure junk(foo, bar: integer); begin bar := foo end; begin { error junk: integer x integer -> void call: integer x integer x integer -> void } junk(a, b, c) end.