[NotNull Values]
4 	<bold>var x</bold> = n (in test(Int))
4 		<bold>var x</bold> = n (in test(Int))
