[#4] use NO_ALLOC for output strings