int/list_x64_int