after.c

    if ((((l->l_tm) > (((int64_t)3LL))))){
      {
        if (c->locked == 0) {
          if (!stp_lock_probe(locks, ARRAY_SIZE(locks)))
            goto out;
          else
            c->locked = 1;
        } else if (unlikely(c->locked == 2)) {
          _stp_error("invalid lock state");
        }
        l->__tmp13 = l->l_my_pid;
        _stp_map_del_ii (global(s___global_begin_tm), l->__tmp13);

        l->__tmp14 = l->l_my_pid;
        _stp_map_del_ii (global(s___global_saved_timeout), l->__tmp14);

        goto out;

      }
    }

    if (c->locked == 0) {
      if (!stp_lock_probe(locks, ARRAY_SIZE(locks)))
        goto out;
      else
        c->locked = 1;
    } else if (unlikely(c->locked == 2)) {
      _stp_error("invalid lock state");
    }
    (void)
    ({
      l->__tmp15 = l->l_my_pid;
      l->__tmp16 = l->l_tm;
      c->last_stmt = "identifier 'saved_timeout' at by-pid.stp:14:5";
      l->__tmp17 = l->__tmp16;
      { int rc = _stp_map_set_ii (global(s___global_saved_timeout), l->__tmp15, l->__tmp17); if (unlikely(rc)) { c->last_error = "Array overflow, check MAXMAPENTRIES"; goto out; }};
      l->__tmp16;
    });