add topevel Main and start embellishing TicDefine