read "v1" = read "v2" = read "v3" = read "v4" = v1 0 index v1 1 index 10 * + p