Comment by pmontra

3 days ago

> Int32 is the type of the return value for the function [...]

You are right. That part of my argument is wrong.