configuring clasp in extra function and fixing parsing of first commandline argument
record enumerator (commented out, but maybe useful later)