Code correctness (no dyn scopes).