PT(TextFont) MenuManager::get_default_font(){
    // Shouldn't it work?
    //return default_menu_font; // This gives me a linker error: conversion from ‘PointerTo<StaticTextFont>’ to non-scalar type ‘PointerTo<TextFont>’ requested
    //return &*default_menu_font; // I guess it can work.
    return (PT(TextFont)) default_menu_font; // Have I to do this? With ordinary pointers it's automatic...
}