Add `(provide 'egg/sj3)'.