protect_writeable
protect_writeable(marks[MARK_START] + delta,
void protect_writeable(uint64_t, size_t);