1 2 3 4 5 6 7 8 9 10 11 12 13 14
// // 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); }