namespace;
include rt;
actor Counter { int value; }
fn main() { return 0; }