Add Jasmin wrapping, method declarations