tree: 5dbb6312cc5878805de5a2cb1d438e527ae88184
  1. user_proj_example.spice
  2. user_project_wrapper.spice