machine Machine with degree: 8{
    // ANCHOR: component
reg pc[@pc];
reg X[<=];
reg A;    

instr assert_zero X {
    X = 0
}

function main {
    assert_zero A;
    return;
}
    // ANCHOR_END: component
}
