Symbol: fiat_25519_tight_field_element