Evaluated proc cinstr {str c} {return [string]}