> > + #TODO: needs better handling of native > The hesitation mainly concerns the #TODO comment. I don't really find > it explanatory, personally I'd say remove the whole comment. Ok I'll remove the comment. Thanks a lot Denis.