lssa-zkvm-testing/encryption-demo/methods/src/lib.rs

include!(concat!(env!("OUT_DIR"), "/methods.rs"));