DEVALLOC_FILE
DEVALLOC_FILE = "/etc/security/device_allocate";
daf = fopen(DEVALLOC_FILE, "rF");
DEVALLOC_FILE = file;