public ArrayConstructor_c(Position pos, TypeNode base, boolean unsafe, boolean isValue, Expr distribution, Expr initializer ) {
public ArrayConstructor_c(Position pos) {
	public ArrayConstructor_c(Position pos, TypeNode base, boolean unsafe, 				  boolean isValue, Expr distribution, Expr initializer ) {		super(pos);		assert (distribution !=null) || (initializer instanceof ArrayInit);		this.base = base;		this.safe = ! unsafe;		this.isValue = isValue;		this.distribution = distribution;		this.initializer = initializer;	}