TODO: implement X['] so that I can remove those XCURRENT patterns.
There was a weird empty block in the middle of the program.