class A int i = 0
construct(int value) i = value
// --> integer array A_i
function construct_A(integer value) returns integer let id = new_A() A_i[id] = value