/new_cursor/{
	N
	N
	N
	N
	s/\t\tdeferred/\	\	note\n\t\t\tstatus: impure\n\t\tdeferred/
	/\t\tensure/a\	\	\	closed: closed\n\t\t\tresult_fresh: Result.is_fresh\n\t\t\tresult_wrapped: Result.is_wrapped and Result.inv\n\t\t\tresult_in_observers: observers = old observers \& Result\n\t\t\tmodify_field (["observers", "closed"], Current)
}