Use a dedicated function to request exit from execution loop