iso pascal: test of implicit procedure type syntax