Add missing nullability for __getmainargs()