/* LINTLIBRARY */
#include "../../vax/Vlint.h"
#define _LINE_ID(line, file)# line file
