100644 blob 279ac8f1b3629924be7204353a8bba832d49b03d	tiny_user_project.spice
100644 blob 692681a9a30fb73d66c5c48dc616b3344ed883f5	user_module.spice
100644 blob 2f2a9efe689e657746681c240300b5fd8cfa82d3	user_project_wrapper.spice