Evaluated proc instr {str c} {return [string first $c $str]}