User codeserver in spec parse debugging functions