/* Autogenerated file, do not edit */
#include <stdlib.h>

@PLATFORM_DEFS@

const struct debugcc_platform *platforms[] = {
@PLATFORM_ARRAY@
	NULL,
};