/*
\funcref{fun\_jmp\_true}{void fun\_jmp\_true ()}
    {}
    {}
    {getint16(), istrue()}
    {fun\_jmp\_false(), fun\_jmp()}
    {funjmpt.c}
    {

        This function is executed when an {\em op\_jmp\_true} opcode is read in
        the binary makefile. Following the opcode, an {\em INT16} offset is
        expected. The result of a previous expression is popped and if this
        yields non-zero, a jump is made relative to the current offset by
        repositioning the file pointer.

    }
*/

#include "icm-exec.h"

void fun_jmp_true ()
{
    register INT16
        offs;

    offs = getint16 (infile);
    if (istrue ())
        fseek (infile, (INT32) offs, SEEK_CUR);
}