private void makeError(Token tok, String msg) {
        if (tok.kind == TEXT_T) {
            Message.error(tok.beginLine, "<quoted string: " + (tok.toString()).substring(0, 20) + "\"> " + msg);
        } else {
            Message.error(tok, tok.toString(), msg);
        }
    }