tree: a3bc583cdbc5f9db9135359f1d6c7bf0cf1fb136
  1. tiny_user_project.spice
  2. user_module.spice
  3. user_project_wrapper.spice