Adds basic runtime library and generated stub

The stub is manually adapted:

- to the evolved runtime,
- as if generated with insertion points.