package java.types; typedef Int16 = java.StdTypes.Int16;