Native backend of read-var