pub type InnerConfig = AsmConfig<InnerVal, InnerChallenge>;
struct InnerConfig(/* private fields */);