Safe Arrays in Fortran