print should NOT return a void *