#include <stdio.h>
#include "generated.h"

int main(void) {
    printf("CONFIG_AGE: %d\n", CONFIG_AGE);
    printf("CONFIG_NAME: %s\n", CONFIG_NAME);
}