233   WBSET wb = {  in _onset()  local
248   WBCOPY wb = {  in _oncopy()  local
264   WBWRITE wb = {  in _onwrite()  local
281   WBRESIZE wb = {  in _onresize()  local
322         WBSEP wb;  in _last_fix_and_reset_points()  local
348         WBWRITE wb;  in _last_fix_and_reset_points()  local
465         WBSEP wb;  in _rollforward_exl()  local
479         WBSET wb;  in _rollforward_exl()  local
489         WBCOPY wb;  in _rollforward_exl()  local
499         WBWRITE wb;  in _rollforward_exl()  local
517         WBRESIZE wb;  in _rollforward_exl()  local
527           WBFIXPOINT wb;  in _rollforward_exl()  local
562       WBRESET wb = {  in _rollforward_exl()  local
625     WBFIXPOINT wb = {  in _checkpoint_exl()  local