pr Ox Ox ^ ^ bx ^ to bx io