see comments of this file for how to run the odin framework, also you can run the file to see what it outputs