loaddefs.el is ok.