private JFieldDeclaration toField(String name,int idx,CType type) { return new JFieldDeclaration(null,new JVariableDefinition(null,0,((CArrayType)type).getBaseType(),name+"__destroyed_"+idx,null),null,null);
private JFieldDeclaration toField(String name,int idx,CType type, JExpression[] init_vals) { return new JFieldDeclaration(null, new JVariableDefinition(null,0, type, name+"__destroyed_"+idx, init_vals == null? null : init_vals[idx]),  null,null);
    private JFieldDeclaration toField(String name,int idx,CType type) {        return new JFieldDeclaration(null,new JVariableDefinition(null,0,((CArrayType)type).getBaseType(),name+"__destroyed_"+idx,null),null,null);    }