let token input = input.tik <- succ input.tik ; if input.tik > 1000 then failwith "Blocked" ; input.token