Removing redundant def of emit-function-header