let
decr_addr_taken_bool var b =
if
b
then
decr_addr_taken var