println(a_size, ' := ', a_size,' - 1;')
println(Array, '[',a_size,'] := ',Value,';')

println(Array, '[High(',Array,')] := ',Value,';')