Update to monadic L3 ARM model.