Also defined in core.h.