More DRY code for execute_debug