Daniel J. Bernstein is out of the office.

[DJBernstein]

I will be out of the office starting  11/16/2007 and will not return until
11/26/2007.

I am (maybe) reachable by cell for urgent issues. Otherwise, please contact
Gary Swimeley at (301) 738-7314.