Function mark 

pub fn mark(body: &mut Core)

Mark every last read in body, given the parameters bound around it.

Idempotent, and safe to run on a body that has been marked already: the flag is recomputed from scratch rather than accumulated.