00001 // This is core/vul/vul_timestamp.cxx 00002 00003 #include "vul_timestamp.h" 00004 00005 unsigned long vul_timestamp::mark = 0;