Return index of matching string
function index input String key; input String[:] keys; output Integer i; end index;