rlmv models/atm/ATM-arch.mv
init