100644 blob 607e21fb4a88592f078223c4de9d0f9bb96f7466	tiny_user_project.spice
100644 blob 692681a9a30fb73d66c5c48dc616b3344ed883f5	user_module.spice
100644 blob eaf2a7f20f15a88fed16dcf64881691eccf946eb	user_project_wrapper.spice