Converted HelloWorldxTension skeleton into DivFree.