{
uint32_t ebx; /* 0: Saved %ebx. */
uint32_t ebp; /* 4: Saved %ebp. */
uint32_t esi; /* 8: Saved %esi. */
uint32_t edi; /* 12: Saved %edi. */
void (*eip) (void); /* 16: Return address. */
{
uint32_t ebx; /* 0: Saved %ebx. */
uint32_t ebp; /* 4: Saved %ebp. */
uint32_t esi; /* 8: Saved %esi. */
uint32_t edi; /* 12: Saved %edi. */
void (*eip) (void); /* 16: Return address. */