#if defined(CONFIG_USE_XERBLA)
#if defined(FC_DUMMY_MAIN)

int FC_DUMMY_MAIN() { return 1; }

#endif
#endif