Add skel of `SetOpt` [FIXME]