added new options to trappy.h