#include "vain_plat_1.c"
#include "vain_plat_2.c"
#include "vain_plat_3.c"
#include "vain_plat_4.c"
#include "vain_plat_5.c"
#include "vain_plat_6.c"