let create (config: config) : statistic = (* an attribute is created on its first access *) { config = config; attributes = Attributes.create 16 }