added Wextra, just for fun