array_cmp() added