void invoke_user_callback