# CONFIG_TYPEC is not set
