still need:
- test program
- shim layer logic (for reverse computation)
- example method