#![no_main]
#![cfg_attr(target_os = "none", no_std)]
use core::sync::atomic::{AtomicU32, Ordering};
rt::sem!(H, 2);
rt::sem!(O, 1);
rt::barrier!(BARRIER, 3);
fn hydrogen() {
H.wait();
BARRIER.wait();
BARRIER.wait();
H.post();
}
fn oxygen() {
O.wait();
BARRIER.wait();
make_water();
BARRIER.wait();
O.post();
}
include!("water.rs");