- src/simix/simcalls_generated_args_getter_setter.h
- src/simix/simcalls_generated_body.c
- src/simix/simcalls_generated_case.c
- src/simix/simcalls_generated_enum.h
- src/simix/simcalls_generated_res_getter_setter.h
- src/simix/simcalls_generated_string.c
+ src/simix/popping_private.h
+ src/simix/popping_bodies.c
+ src/simix/popping_generated.c
+ src/simix/popping_enum.h
+ src/simix/popping_accessors.h