private void consumeComment(ParserReader input, StringBuffer text)
				throws IOException {
			// Need to match comment starts/ends
			if(input.startsWith('*')) {
				text.append('*');
				int depth=0;
				for(;;) {
					final int commentCh = input.read();
					text.append((char)commentCh);
					if(commentCh == '*' && input.startsWith(')')) {
						text.append(')');
						if(depth == 0) {
							break;
						} else {
							depth -= 1;
						}
					} else if(commentCh == '(' && input.startsWith('*')) {
						text.append('*');
						depth += 1;
					}
				}
			}
		}