let loc_of_term _ p = Ptr (F.unwrap p)