MODULE TBadActual;
PROCEDURE P(a : INTEGER);
BEGIN
END P;
BEGIN
  P(1.5)
END TBadActual.