static void decode(DWORD *buf, DWORD len, DWORD key)
{
if (!new_pack_ver1)
__decode(buf, len, key);
else
__decode1(buf, len, key);
}
int main (int argc, char** argv) {
__char blob[15];
__word sz = 15;
__obj insn;
int i,c;
for (i=0;i<sz;i++) {
int x = fscanf(stdin,"%x",&c);
switch (x) {
case EOF:
goto done;
case 0:
__fatal("invalid input, should be in hex form: '0f 0b ..'");
}
blob[i] = c & 0xff;
}
done:
__decode(__decode__,blob,i,&insn);
if (___isNil(insn))
__fatal("decode failed");
else
__println(insn);
return (1);
}