let clear () = ShowDefState.clear()