static Smiley showSmiley() {
  Smiley s = smiley();
  if (!s.showing()) s.show();
  ret s;
}