`(initial_state v)` → `initial_state v`