#!/usr/bin/env bash

set -Eeuo pipefail
[[ "${1:-}" =~ ^[0-9]+$ ]]