def _readFile($filename): error("_readFile only supported in gojq-extended");
def _writeFileString($filename): error("_writeFileString only supported in gojq-extended");