package java.types;

typedef Int8 = java.StdTypes.Int8;