Update executor.h