IntResult: 42