16 /* The x87 registers padded out to 16 bytes for fxsave */