Could be taken from the compilation target (`"armv7-w64-mingw32"`). At least the first two sections could be exposed to Toit programs.