New module 'arg-nonnull'. Declare which arguments expect non-NULL values.
[pspp] / modules / pipe2-safer
2009-12-05 Eric Blakepipe2-safer: new module