#expect:immutable.*variable.*a

p7proc  p2 { a } {

	lambda (void)call { x } { set a null }

}