Hi, I have a follow up question on this question. The `toy.c` file I have has`#include<sel4/sel4.h>` from `libsel4/include`. Therefore, in order to install_C_file "toy.c" I added all the required dependencies according to the error prompts, here is the result: ``` theory passwd imports "CParser.CTranslation" begin new_C_include_dir "my_repo/kernel/libsel4/include" new_C_include_dir "my_repo/build/kernel/autoconf" new_C_include_dir "my_repo/build/libsel4/sel4_arch_include/x86_64" new_C_include_dir "my_repo/build/kernel/gen_config" new_C_include_dir "my_repo/kernel/libsel4/mode_include/64" new_C_include_dir "my_repo/build/libsel4/sel4_arch_include/x86_64" new_C_include_dir "my_repo/build/libsel4/include" new_C_include_dir "my_repo/build/libsel4/arch_include/x86" new_C_include_dir "my_repo/kernel/libsel4/sel4_plat_include/pc99" new_C_include_dir "my_repo/projects/sel4runtime/include" new_C_include_dir "my_repo/libsel4/gen_config" new_C_include_dir "my_repo/verification/l4v/spec/cspec/c/build/X64/gen_config" new_C_include_dir "my_repo/kernel/libsel4/arch_include/x86" new_C_include_dir "my_repo/kernel/libsel4/sel4_arch_include/x86_64" new_C_include_dir "my_repo/projects/sel4-example" external_file "my_repo/projects/sel4-example/roottask.c" install_C_file "my_repo/projects/sel4-example/roottask.c" thm passwd_global_addresses.main_body_def end ``` However, I got an error that I am not able to understand: ``` install_C_file - my_repo/kernel/libsel4/include/sel4/simple_types.h:37.29-37.29: syntax error: inserting LCURLY ``` I have tested my toy.c example before and it is able to be simulated. I am wondering is it possible that this error is caused by the C file mentioned is not a StrictC subset? Which means if I include `sel4/sel4.h` I have to do the preprocessing as that in seL4 verification. If that is the case, am I able to integrate `kernel_all.c_pp` to my application? I hid some of the details of the organization of sel4-example I constructed, but I hope the information provided here is enough to find something. Any suggestion will be appreciated!