def frm.yes
import emerging-ezaudio@0.4.0.0/src/mp3.bend as Mp3import Base
467# MPEG-1 Layer III, no CRC, not joint stereo
468def frm.yes(+xs: List<&2, U32>) -> Bool:
469 frm.and(l3.ok(xs), frm.and(U32.is_ne(hdr.mode(xs), 1), U32.is_eq(hdr.crc(xs), 0)))