/*
  Define GENERATED_HEADER macro to allow c++ files to include headers
  generated based on different configuration types.
*/

/* clang-format off */
#define GENERATED_HEADER(x) GENERATED_HEADER0(CONFIG_TYPE/x)
/* clang-format on */
#define GENERATED_HEADER0(x) GENERATED_HEADER1(x)
#define GENERATED_HEADER1(x) <x>

#include GENERATED_HEADER(path_to_objs.h)

#include "embedded_objs.h"

int main(int argc, char** argv)
{
  (void)argc;
  (void)argv;

  unsigned char* ka = kernelA;
  unsigned char* kb = kernelB;

  return (ka != NULL && kb != NULL) ? 0 : 1;
}