BEGIN print (max int); print (1+max int) END