This header file is supposed to be used by user code, which is not a part of WAMR. Usually WAMR configuration is not available there, remove DEBUG_INTERP macro control in it.
This header file is supposed to be used by user code, which is not a part of WAMR. Usually WAMR configuration is not available there, remove DEBUG_INTERP macro control in it.