procedure p1 := exit;