Make sure to pair the casting of input arguments with the input types