✏️ Editing: libgmp.so