1 2 3
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.