static S haudioAutoplay(S src, S noAudioMsg) {
  ret "<audio src=" + htmlQuote(src) + " autoplay>"
    + noAudioMsg + "</audio>";
}

static S haudioAutoplay(S src) {
  ret haudioAutoplay(src, "no audio");
}