CONVERT_PROPERTY_DETAILS_CHECKED 10485 src/runtime.cc   CONVERT_PROPERTY_DETAILS_CHECKED(details, 0);
CONVERT_PROPERTY_DETAILS_CHECKED 10494 src/runtime.cc   CONVERT_PROPERTY_DETAILS_CHECKED(details, 0);
CONVERT_PROPERTY_DETAILS_CHECKED 10503 src/runtime.cc   CONVERT_PROPERTY_DETAILS_CHECKED(details, 0);