pub fn check_addition()
this function pretty much does nothing important
use rust_cheatsheet::theory::internal; internal::check_addition();