Probably the comment is off, one of them is likely taking ulong (or why the mangling is different )?