added Jasmin syntax elements