`toBinaryCode` has a better semantics.