Addd Jasmin code generation utilities