namespace;
include rt, actor;
typecheck on;
actor Counter { int total; int handle(int value) { this.total += value; return this.total; } }
fn main() {
 Counter* a = rt.new(Counter), b = rt.new(Counter); let left = 0, right = 0;
 a.spawn(); b.spawn(); a.recv(fn(int n) { left = n; return 0; }); b.recv(fn(int n) { right = n; return 0; });
 a.send(2); a.send(3); b.send(7); a.await(); b.await();
 rt.put_n(left); rt.put_c(' '); rt.put_n(right); rt.put_c(' '); rt.put_n(a.total); rt.put_c(' '); rt.put_n(b.total); rt.put_c(10);
 a.close(); b.close(); return 0;
}