[stoptoken.cons] (original) (raw)

See [stopsource].