"specialinvoke " + jimpleName + ".<" + struct.getJimpleType() + ": void <init>()>()");
}
@Override
public ImExpr member(String member) {
return new PrimitiveFieldExpr(jimpleName, recordType.getJimpleType(),
member, recordType.getMemberType(member) );
}