char* get_default_user_email (void);