add demo.rkt