Use simple names in core_names.h