System.out.println("making constant pattern for " + type + " of value " + value);
    public ConstantPat makeConstantPat(int pos, Type type, Object value) {        ConstantPat node = new ConstantPat(value);        node.pos = pos;        node.type = type;        return node;    }