133965Sjdp/* Linux writes the task structure at the end of the core file.  Currently it
233965Sjdp   is 2912 bytes.  It is possible that this should be a pickier check, but
333965Sjdp   we should probably not be too picky (the size of the task structure might
433965Sjdp   vary, and if it's not the length we expect it to be, it doesn't affect
533965Sjdp   our ability to process the core file).  So allow 0-4096 extra bytes at
633965Sjdp   the end.  */
733965Sjdp
833965Sjdp#define TRAD_CORE_EXTRA_SIZE_ALLOWED 4096
9