Use the local copy of CLHS