default_check
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)
if ((ret = default_check(state, translation, ctx)) <= 0)