Same here; already defined in core.h.