more code experimentation in exec.cpp