prelim code for infered arguments