trapp compilation