not returning int from void