example: check overflow, fix multiplication