// $Id$ #include "SequencePushSupplier.h"