TAPE_SPACE_SETMARKS top-level constant

int const TAPE_SPACE_SETMARKS

Implementation

const int TAPE_SPACE_SETMARKS = 8;