If you add "fits in a register" to your list of correctness requirements, then it's no-go even if the source has less cognitive overhead.