logos-execution-zone/test_program_methods/guest/src/bin/extra_output.rs

use nssa_core::{
    account::Account,
    program::{AccountPostState, ProgramInput, ProgramOutput, read_nssa_inputs},
};

type Instruction = ();

fn main() {
    let (ProgramInput { pre_states, .. }, instruction_words) = read_nssa_inputs::<Instruction>();

    let Ok([pre]) = <[_; 1]>::try_from(pre_states) else {
        return;
    };

    let account_pre = pre.account.clone();

    ProgramOutput::new(
        instruction_words,
        vec![pre],
        vec![
            AccountPostState::new(account_pre),
            AccountPostState::new(Account::default()),
        ],
    )
    .write();
}