simulate    : U<= U> 0= ;

reference: p4_u_less_equal in ../src/misc.c:0462, export CO U<=