Use skeleton-read instead of read-string