convert "oidcmp() == 0" to oideq()