(integer-comparison 12 42)