#!/bin/bash

. "$(dirname "$0")/../../commands.sh";

commands --;

--abc
: --num integer# # A number

echo "$num";