partial_eval.exp 6 Bytes