The code and the testsuite show that PREFIXLEN actually has a value.