#include <types.idl>
#include <ifsyscall.idl>
    
interface syscall : IF_SYSCALL {
	/* Nothing more needed */      
};