#include <systypes/base.h>      /* notify_flags_t */  interface Notifier {   /* Send notification events. */    [opcode(25)] void notify(in notify_flags_t flags); };