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