package java; /** * ... * @author waneck */ typedef Int8 = Int; typedef Int16 = Int; typedef Char16 = Int;