Yes, exactly. ADTs are entirely known statically so there's no vtable etc.