//
// Copyright (c) 2026 Jacob McDonnell
//
// SPDX-License-Identifier: MIT
//

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

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