proof carrying code for x86 platform