a comment could precise
a_local := Void

is not required .. since it is Void by default