With the help of the support (thanks a lot!) I was able to find the reason for the DirectX crash and fix the corresponding code. The issue was as follows:
FONT* my_font = "...";
TEXT* my_text =
{
font = my_font;
...
}
void my_font_update()
{
if(my_font) ptr_remove(my_font);
my_font = font_create(...);
}
Calling my_font_update() would not result in an immediate crash but let my_text have an invalid font pointer which would lead to erroneous behavior on subsequent video_... calls.