/** @file vbox_V4_2.c
 * C file to include support for multiple versions of VirtualBox
 * at runtime.
 */

#include <config.h>

/** The API Version */
#define VBOX_API_VERSION 4002000
/** Version specific prefix. */
#define NAME(name) vbox42##name

#include "vbox_tmpl.c"
