Merge "Atoms for binary push and flag flip."