Translates Xia source code to 4ia source.