formail oddity

I use a Bourne-shell script to pass args and var-assignments to
procmail.  Now I want to enhance that by prepending formail.
There is an oddity when doing so, however.  Observe the differences
in the two lines below and their outputs:

   1:02am [~] 600[0]> procmail DEFAULT=/dev/null VERBOSE=y /dev/null < 
/dev/null       
  procmail: [24561] Fri Apr 22 01:03:00 2005
  procmail: Rcfile: "/dev/null"
  procmail: Assigning "MAILDIR=/net/u/1/d/dman"
  procmail: Assigning "LASTFOLDER=/dev/null"
  procmail: Opening "/dev/null"
    Folder: /dev/null                                                           0
  
   1:03am [~] 601[0]> formail -s procmail DEFAULT=/dev/null VERBOSE=y /dev/null 
< /dev/null



Well, that's just goofy, it seems to me.  As soon as the input
stream is something else other than /dev/null, it works with formail:

   1:08am [~] 606[0]> formail -s procmail DEFAULT=/dev/null VERBOSE=y /dev/null 
< `which procmail`
  procmail: [13879] Fri Apr 22 01:08:46 2005
  procmail: Rcfile: "/dev/null"
  procmail: Assigning "MAILDIR=/net/u/1/d/dman"
  procmail: Assigning "LASTFOLDER=/dev/null"
  procmail: Opening "/dev/null"
  From foo(_at_)bar  Fri Apr 22 01:08:46 2005
    Folder: /dev/null                                                       
72703
  
   1:08am [~] 607[0]> formail -s procmail DEFAULT=/dev/null VERBOSE=y /dev/null 
< `which true`
  procmail: [29729] Fri Apr 22 01:09:01 2005
  procmail: Rcfile: "/dev/null"
  procmail: Assigning "MAILDIR=/net/u/1/d/dman"
  procmail: Assigning "LASTFOLDER=/dev/null"
  procmail: Opening "/dev/null"
  From foo(_at_)bar  Fri Apr 22 01:09:01 2005
    Folder: /dev/null                                                          
59
  

So my question is, what do people recomment I use?  I could use
procmail, since it's obviously on the system wherever this is
implemented.  But 70K seems silly to shunt to stdin when it's not
really going to be processed.

____________________________________________________________
procmail mailing list   Procmail homepage: http://www.procmail.org/
procmail(_at_)lists(_dot_)RWTH-Aachen(_dot_)DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/procmail