/hal_var_ints.h/1.1/Tue Nov 16 19:16:23 2004//
/hal_verde.h/1.1/Tue Nov 16 19:16:23 2004//
/var_io.h/1.1/Tue Nov 16 19:16:23 2004//
D
