/* This file was generated by errlist-compat.awk; DO NOT EDIT!  */