--abi --via-ir --pretty-json --json-indent 4
