MAX_NAME_LEN
local char outfile[MAX_NAME_LEN+1], *end;
local char buf[MAX_NAME_LEN+1];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];
oid newname[MAX_NAME_LEN];