RosettaCodeData/Task/Assertions/SPARK/assertions-5.spark

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