public String getDefaultInitialization() {
switch (type){
case "int*":
return "new int[3]{1,2,3}";
case "int":
<BUG>return "3";
default:
return "ohhNOOO_ERROR";
}</BUG>
}

public String getDefaultInitialization() {
switch (type){
case "int*":
return "new int[3]{1,2,3}";
case "int":
return "3";
case "double*":
return "new double[3]{1.0,2.0,3.0}";
default:
return "ERROR: Unimplemented default initialization type";
