#ifndef _MACHINE_TYPES_H
#define _MACHINE_TYPES_H

typedef __builtin_va_list __va_list;

#endif