(scm_take_u64vector,