pump-propagated binary