<auto-generated stub>
def mutable(x: Rep[T]): Rep[T]
def size(x: Rep[T]): Rep[Int]
def write(x: Rep[T], y: Rep[T]): Rep[Unit]