Christian Göttsche 37bf59067f 
	
	
	Use strict prototype in definition ... 
			gettime.c:25:30: warning: a function declaration without a prototype is deprecated in all versions of C [-Wstrict-prototypes]
    /*@observer@*/time_t gettime ()
                                 ^
                                  void 
		
	 
		2023-03-20 08:47:52 +01:00 
	 
	
	
	
		 
	
	
		
			
			
			
			
			
			2007-10-07 14:36:51 +00:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2023-01-30 18:24:15 +01:00 
		 
	
		
			
			
			
			
			
			2022-08-06 11:27:56 -05:00 
		 
	
		
			
			
			
			
			
			2022-09-02 20:27:14 -05:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2022-08-17 12:34:01 -05:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 13:23:08 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-01-30 18:24:15 +01:00 
		 
	
		
			
			
			
			
			
			2022-12-22 18:03:39 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2022-12-22 10:31:43 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2022-12-22 11:43:29 +01:00 
		 
	
		
			
			
			
			
			
			2022-12-22 11:43:29 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-29 02:41:09 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2022-08-06 11:27:56 -05:00 
		 
	
		
			
			
			
			
			
			2023-03-20 08:47:52 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2022-08-06 11:27:56 -05:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 11:29:33 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2022-12-22 11:43:29 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2022-12-15 16:22:05 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-02 13:08:30 -06:00 
		 
	
		
			
			
			
			
			
			2022-08-17 12:34:01 -05:00 
		 
	
		
			
			
			
			
			
			2022-12-15 16:22:05 -06:00 
		 
	
		
			
			
			
			
			
			2022-08-06 15:04:06 -05:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-02 13:08:30 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 11:29:33 +01:00 
		 
	
		
			
			
			
			
			
			2023-02-16 11:29:33 +01:00 
		 
	
		
			
			
			
			
			
			2022-12-22 10:39:45 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-02 13:08:30 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00 
		 
	
		
			
			
			
			
			
			2022-12-15 16:22:05 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 13:23:08 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2021-12-23 19:36:50 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 13:23:08 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 13:23:08 -06:00 
		 
	
		
			
			
			
			
			
			2023-01-26 22:44:39 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 13:23:08 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-16 13:23:08 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-23 20:28:43 -06:00 
		 
	
		
			
			
			
			
			
			2023-02-09 10:03:03 -06:00