attr: int = ...