CFFI:WITH-OUTPUT-TO-STRING already returns a length that includes the terminating zero byte. Removed code that added 1 to the length.