Added demo.py.  Fixed noreturn syntax for GCC