crash_get_elfcorehdr_size
#ifndef crash_get_elfcorehdr_size
unsigned int sz = crash_get_elfcorehdr_size();