True, but this is only a C file that doesn't go into the manual anyway.