lssa/test_program_methods/guest/src/bin/burner.rs

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

type Instruction = u128;

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

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

    let account_pre = &pre.account;
    let mut account_post = account_pre.clone();
    account_post.balance = account_post.balance.saturating_sub(balance_to_burn);

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