Tiny Lazy ML with Process Calculus in plain C