<!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'> <html xmlns='http://www.w3.org/1999/xhtml'> <head> <title>[j]</title> <meta name='robots' content='noindex,nofollow' /> <meta name='generator' content='GLOBAL-6.6.14' /> <meta http-equiv='Content-Style-Type' content='text/css' /> <link rel='stylesheet' type='text/css' href='../style.css' /> </head> <body> <h2 class='header'>[j]</h2> <a href='../mains.html' title='Index Page'>[..]</a> <ol> <li><a href='../S/2836.html#L567' title='Defined at 567 in src/exec.c.'>jmi</a></li> <li><a href='../S/2836.html#L577' title='Defined at 577 in src/exec.c.'>jnz</a></li> <li><a href='../S/2836.html#L597' title='Defined at 597 in src/exec.c.'>jov</a></li> <li><a href='../S/2836.html#L557' title='Defined at 557 in src/exec.c.'>jpl</a></li> <li><a href='../S/2836.html#L607' title='Defined at 607 in src/exec.c.'>jump</a></li> <li><a href='../S/2836.html#L587' title='Defined at 587 in src/exec.c.'>jze</a></li> </ol> <a href='../mains.html' title='Index Page'>[..]</a> </body> </html>