Constant DEFAULT_GUEST_TARGET 

pub const DEFAULT_GUEST_TARGET: &str = "riscv32im-risc0-zkvm-elf";