Dynkin's_card_trick loading ...