added os_types.h from ipa-bnm