port tests and JUMPI