// S : tags   min c kleetodo $TAGS
// S : expect --result valid
// S : verify -DRETURN(x)=(x-2) $V_OPT $file

int main()
{
    return RETURN(2);
}