smaller font
symbol resolution didn't need to use static. Was a possible source of deadlock