Compile time error: ``` libgui/include/gui/memory.h:29:19: error: 'uint32_t' was not declared in this scope ``` The fix is simple: Add `#include stdint.h`.