static string RotateRight(string name, int offset) { return "((" + name + " >>" + offset + ")|(" + name + " << (64-" + offset + ")))"; }