[ implicit_handle (handle_t Example_InterfaceHandle) ] interface Example { }