static File _onLoad_softBlip() {
  ret loadWAVSnippet(#1400142);
}

static void softBlip() {
  playWAVAndWait(_onLoad_softBlip());
}