#1: take values from input.txt, and cast them dynamically