package cs.types; typedef Int8 = cs.StdTypes.Int8;