Satisfy opr_sanityO