#module producer

primitive producer(out<u32> output) {
    print("P: Going to send a value");
    sync {
        print("P: Going to send a value!");
        put(output, 1337);
        print("P: I just sent a value!");
    }
    print("P: I am exiting");
}