Removed keyword new so that we don't need __gnat_malloc