learn how to cast a gen server