4975
4975
<p class="noindent">The end result is <span class=
4976
4976
"pcrro7t-">procer</span>, which lives in <span class=
4978
4978
in a USPM. It works a lot like daemontools or minit, but is much
4979
4979
simpler, with these differences: <!--l. 86-->