TAPE_SHORT_FILEMARKS top-level constant

int const TAPE_SHORT_FILEMARKS

Implementation

const int TAPE_SHORT_FILEMARKS = 2;