Did't test PF and Buffer_Manager