Add __pure as attribute. A __pure function can only depend on the