Etiqueta: Lazy FP State Restore