Fix range-type "return" command on ARM