100644 blob 0d322a06abbdca970dc83c31b466b6bcaf71c2cd	serv_0.spice
100644 blob c54fa2a31e3f8a180ac52b84140a5f57071c2f11	serv_1.spice
100644 blob 61d422f867669de74a7d7c1f71cd8a0c53549be4	serv_2.spice
100644 blob f6c50a6d1a0e7231dd28e7c048407d3a6df6bec9	tiny_user_project.spice
100644 blob 692681a9a30fb73d66c5c48dc616b3344ed883f5	user_module.spice
100644 blob 9bcc9e0de0004ccb634ab5bbe82c0aca51022674	user_project_wrapper.spice