Cleansing the PFIC taint: Planning and pitfalls