add/use util.verify_with_prefix()