bugfix: type @char should be type @int