Currently, we are using the hardcoded output of `Anvil` for simplicity. But this is difficult to maintain and error-prone. We should automate this.