More updates -- execution with -c 0 works correctly. Still need to debug -c 1.