{"shas":[["8cfc82c042654e0db2fca81c15a307a0c97b594b","f51c781704fecfc3bc9aba04145bd9870ffb54f1@swan.ac.uk","Fix example: variable is initialized to 10 and then has 11 stored in it, but in the expanded version is initialized to 11.","David Chisnall"]],"ref":"refs/heads/master","size":1,"head":"8cfc82c042654e0db2fca81c15a307a0c97b594b","push_id":35927717}