{"v":"#head@8f1a91f56ce57d17326fdc19bb7ba629e81759ae","r":[],"d":"tagged pointer types with destructors"}