extern c on utf8 and hence flisp