1 /*
2  * Copyright (c) 2024 Intel Corporation
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #include <zephyr/kernel.h>
8 
9 #include <app_api.h>
10 
start(void)11 int start(void)
12 {
13 	int bar = 42;
14 
15 	printk("foo(%d) is %d\n", bar, foo(bar));
16 	return 0;
17 }
18