General question: should `'\0'` be used in favor of `NUL`?