Various debugging of named labels...