chiark / gitweb /
Fix memory and type management bugs.