Alyssa's notes
- [ ] RA should turn uninlined zeroes into xzr
- [ ] umul flag setting could do `cmp xzr, x0, lsr #32` and do a `ne` condition.