# CONFIG_GOLDFISH_PIPE is not set