tree: e3be7422562a53acb878368f51f421d2d019e1e3
  1. user_proj_example.spice
  2. user_project_wrapper.spice