using stdlib's log by now