public Input(string source) { this.source = source; File = "<unknown>"; index = 0; buffer = new StringBuilder(1024); }