#define DBG_RTFL
#include "test_rtfl_objects_2.cc"