| 
					
				 | 
			
			
				@@ -17,7 +17,7 @@ extern "C" { 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 ssize_t read(int fd, void* buf, size_t count); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 ssize_t write(int fd, const void* buf, size_t count); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 | 
		
	
		
			
				 | 
				 | 
			
			
				-_Noreturn void _exit(int code); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				+void __attribute__((noreturn)) _exit(int code); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 pid_t fork(void); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				 int execve(const char* pathname, char* const argv[], char* const envp[]); 
			 | 
		
	
		
			
				 | 
				 | 
			
			
				  
			 |