Wiz - the visual While* interpreter

vars:
  int x;
code:
  x:=0;
post:
  (x=0)