using IntegerMatrix
test that void can be used as a parameter in attributes