labels need not be pointers