function get_authenticated_user_id($user_id) { try { return User::getAuthenticatedId($user_id); } catch (RecordNotFoundException $e) { redirect('notfound/pagenotfound'); } }