DECLARE Counter : INTEGER Counter <- 7 OUTPUT counter