Definition at line 605 of file vspace.h.
Definition at line 611 of file vspace.h.
Definition at line 610 of file vspace.h.
Definition at line 606 of file vspace.h.