gibibytes_to_bytes()
{
	echo $(( 1024 * 1024 * 1024 * $1 ))
}

kibibytes_to_bytes()
{
	echo $(( 1024 * $1 ))
}

bytes_to_gibibytes()
{
	echo $(( $1 / 1024 / 1024 / 1024 ))
}