adding command line arguments
adding the rest of the minimum cnfs