Derive Macro MachineAir 

#[derive(MachineAir)]
{
    // Attributes available to this derive:
    #[execution_record_path]
    #[program_path]
    #[builder_path]
    #[eval_trait_bound]
}