store and (module S) arg can be removed instead