Removed parameters needed for validation/trace input to header.v.