int is type, not default value