Extra definitions for ebjs