Function locals_of 

pub fn locals_of(c: &Core) -> u32

How many bindings this expression makes before control leaves the frame it runs in.

The count reserve writes onto a lambda, for a caller holding an expression that is not one yet: the test runner wraps a clause in a lambda of its own at the moment it evaluates it, and this is how that lambda gets sized. docs/79.