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

use nssa_core::program::{read_nssa_inputs, write_nssa_outputs, ProgramInput};

type Instruction = u128;

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

    let [pre] = match pre_states.try_into() {
        Ok(array) => array,
        Err(_) => return,
    };

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

    write_nssa_outputs(vec![pre], vec![account_post]);
}