stubs-32.h