public int readPadding() { int r = 0; while (readWhitespace() != 0|| readComment() != 0) { r = 1; } return r; }