Toy demo of on-the-fly generation from a DSL to C and importing it via FFI