ftov
extern int ftov(int);
$$.v = ftov($1.f);
$$.v = ftov($1.f);
nat->in_v[0] = ftov($3);
nat->in_v[1] = ftov($3);
{ nat->in_v[0] = ftov($4);
nat->in_v[0] = ftov($3);
nat->in_v[1] = ftov($3);
nat->in_v[0] = ftov($3.f);
nat->in_v[0] = ftov($6);
nat->in_v[0] = ftov($4.f);
nat->in_v[0] = ftov($3);
nat->in_v[0] = ftov($5);
{ nat->in_v[0] = ftov($4);
nat->in_v[0] = ftov($4);
nat->in_v[0] = ftov($4);
$$.v = ftov($1.f);
$$.v = ftov($2.f);
$$.v = ftov($1.f);
$$.v = ftov($1.f);
$$.v = ftov($1.f);
$$.v = ftov($1.f);
$$.v = ftov($1.f);