The '\0' contains check doesn't add an annotation of no_nul=True, we're currently fixing this in rpython, I'll update the PR afterwards