Type Pile -> Pile_t