!7

p-noconsole {
  showNiceButtons("CAT", #1101204, r { infoBox("CAT") },
    "ROCKET", #1101216, r { infoBox("ROCKET") });
}