100644 blob 9c31c2632f09eae987ae892e03d3edd0dac1b626	tiny_user_project.spice
100644 blob 692681a9a30fb73d66c5c48dc616b3344ed883f5	user_module.spice
100644 blob 63e9767792f0e62556ed270abc8e73989038d44d	user_project_wrapper.spice