add TOKI_NO_DEBUG show_types