added main() call
this produces the error messages expected with a gcc compiler, with SMACK defined and with it undefined