check_dots_empty0() is a more efficient version of
check_dots_empty() with a slightly different interface. Instead
of inspecting the current environment for dots, it directly takes
.... It is only meant for very low level functions where a
couple microseconds make a difference.
Dots which should be empty.