fortran-vars-0.4.0: Fortran memory model and other static analysis tools.