X := 7;
--# check X = 42;