Links for inspect-build-time-contract