nat.partrec.code.encode_code source