this is clever. You should explicitly mention that this is in `[0..63]`.