The small simple script also worked with the proposed version:
# python3 a.py WAITING ^CSeen KeyboardInterrupt() END
The small simple script also worked with the proposed version:
# python3 a.py
WAITING
^CSeen KeyboardInterrupt()
END