Make use of the Hints database with autoclash