Add ErasedArg to PiOpts.