src/internal/coverage/encodemeta

• encode.mx
• encodefile.mx