chiark / gitweb /
Added null terminated vector type