CREATE EXTENSION foo VERSION "100";

SELECT foo();

ALTER EXTENSION foo UPDATE TO "123";

SELECT foo();
