TAPE_SPACE_FILEMARKS top-level constant

int const TAPE_SPACE_FILEMARKS

Implementation

const int TAPE_SPACE_FILEMARKS = 6;