// SPDX-License-Identifier: MPL-2.0
#include <stdio.h>
int main()
{
printf("hello world from hello_pie!\n");
return 0;
}