a spike file is used for discarding information