returns nothing, as expected