Update 00_basic.el