. .
st = 0
.
requires st
#
      
 

--->