Replace assumeTrusted!FPUTWC with nested trusted functions