potentiell einfach `checked_pointer_cast` aus src/lib/helper/checked_cast.h nutzen