Renamed int as int32 for consistency with 64bit system architecture