Constant OPENVM_DEFAULT_INIT_FILE_BASENAME 

pub const OPENVM_DEFAULT_INIT_FILE_BASENAME: &str = "openvm_init";