#module consumer

primitive consumer(in<u32> input) {
    sync {
        print("C: going to receive a value");
        auto v = get(input);
        print("C: I have received a value");
    }
    print("C: I am now exiting");
}