Use symbols from spicy instead of hilti runtime library.
#75
| Job | Run time |
|---|---|
| 29s | |
| 29s |
spicy instead of hilti runtime library.
#75
| Job | Run time |
|---|---|
| 29s | |
| 29s |