127field unrestricted x86SystemCallProgramHead : (family X86Instruction x86SystemCallProgramStartState x86SystemCallProgramMiddleState (constructor X86EffectTrace X86SystemCallEffect (constructor X86EffectTrace X86NoEffects)))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.