Read just the first sexp in a file