Python format hex leading zeros, to_bytes combined with the bytes