$pre_main = gettimeofday(TRUE);
if (($ret = maincheck($sess, $old_stat, $old_subst, $old_step, &$stat, &$subst, &$step, $table_idx, $table_token)) != FALSE) {
echo '@BEGIN@';
$pre_main = gettimeofday(TRUE);
if (($ret = maincheck($sess, $old_stat, $old_subst, $old_step, &$stat, &$subst, &$step, $table_idx, $table_token)) != FALSE) {
echo '@BEGIN@';