#include L4::Type_info const L4::Kobject::__Kobject_typeid::_m = { 0, 0, 0, 0 };