More closely follow libgcc, which has code after the `ret' instruction to