load, store et alloca semblent fonctionner