#define DBG_RTFL
#include "test_rtfl_objects_3.cc"