Links for certora-cli-maker-structs