onetrace_verify
