Added some event-specific builtins