I forgot to tell this was in COG branch.
This file is generated, and the type is inferred from InterpreterProxy>>positive64BitIntegerFor:
I guess that a correct <returnTypeC:#sqInt> annotation is missing here.


2013/12/31 Nicolas Cellier <nicolas.cellier.aka.nice@gmail.com>
positive64BitIntegerFor return type is declared sqLong, but should be sqInt (it returns an oop).