trying to return an 'attribute' object with the int_const function, which should be returning an expression