Futzing with binary numbers.
Sold old Agda stuff lying around.