int: 42