public String toString() {return String.format("pushMode(%d)", mode);}

public String toString ( ) { return String . format ( "pushMode(%d)" , mode ) ; }
public override string ToString(){return string.Format("pushMode({0})", mode);}
