let
previous_tag_number (() : unit) : unit =
if
((!tag_number)>=1)
then
tag_number:=((!tag_number)-1)