$ shipfox-tsc-emit