An experiment in static, refcounted, procedural language with ownership