For sharing with amg0