doc: work around mingw-w64 alloca problem with example