main: print max int32 value