PROCEDURE test (a : INTEGER) IS

    b : BOOLEAN;

BEGIN

    b := true;
    IF b 
    THEN
	b := a;
    ELSE
	b := false;
    END IF;

END test;