Programming.
"Deposit">> State 3: <Action line 55, col 27 to line 61, col 77 of module wire> /\ people = {"alice", "bob"} /\ sender = <<"alice", "alice">> /\ receiver = <<"bob", "bob">> /\ acc = [alice |-> 3, bob |-> 5] /\ amount = <<1, 1>> /\ pc = <<"Deposit", "Deposit">> State 4: <Action line 63, col 18 to