PJ: switch to C versions of wr1_put_dot and wr1os_put_dot.
PJ: convert wr1_get_dot and wr1os_get_dot.