Devecchi's 800th game against Trieste in the Dinamo shirt: a record