returned int, not void