short variable names, added flag to disable unicodenames