use LONG rather than INT to represent the C datatype size_t
use LONG rather than INT to represent the C datatype size_t

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle