implemented memory access and seq expressions