//Initial version void main() { int x = 0; x = 1; x = x+3; while(1); }