[NotNull Values]
9 	<bold>val x</bold> = foo (in test())
9 		<bold>val x</bold> = foo (in test())
