Better intermediate code formatting