PHashtbl.filter