__builtin_align__(16) was removed from red_type.h beacuse it did not compile under Win32.