More comments in tmb_core.hpp