Procedure f n integer begin write