[[ Bug 11874 ]] BinaryDecode wrong on Android