get_rand_sec () {
  awk 'BEGIN{srand();print int((rand() * 1000) % 600)}'
}

sleep_some () {
  sleep "$(get_rand_sec)"
}

add_pkg_mon () {
  echo "$1" >> "${USER_MON_PKG_LIST}"
}