program_derived_addresses_seahorse This project was created by Seahorse 0.2.0. To get started, just add your code to programs_py/program_derived_addresses_seahorse.py and run seahorse build.