Added comments for interface_cast