A zero-heap, AOT-compilable 7-segment display driver for PyMCU targeting AVR/ATmega328P