let decr_addr_taken_bool var b = if b then decr_addr_taken var