catch_arm et push_arm are now faster