I don't know. But I saw one above and figured that it might be a missing case. https://github.com/yilongli/k/blob/unified-builtins2/include/io/io.k#L17