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

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