A C-like language with explicit free which is nonetheless safe [BSD license]