Memory model backend basics working