昔有霍家奴，姓冯名子都。