[Fix] Add missing xace file
Merge branch 'voidsafe' of https://github.com/safe-eiffel/kernel into voidsafe
[FIX] adjust internal length and fill with %U
[ADD] Inline code to get rid of building .lib or .a