And even if we have now decided that MEMs can appear in the reg array, then we need to have that documented in comments as it's certainly counterintuitive. Hasn't this been the case forever? Hasn't put_reg_into_stack always done this?