#include "tst-map-32bit-1a.c"