Preconditions for name and args parameters implemented in the defpage macro.