Why is this here? Why is the type "int", rather than something with a well defined size?