Replace assumeTrusted!FPUTC with nested trusted functions