* shorten Jasmin code.