Re: [PATCH v2 19/35] monitor: use dynamic cast in monitor_is_hmp_non_interactive