prove zHEAP_GET_LENGTH_BYTE