sequencer: use argv_array_pushf