Symbol: ql_ub_free