REROCC (Explicit)

FIAT (Explicit)