Fix example code doc for unreachable!

The previous code was giving an incorrect result (not x/3).