type Int is int16;

using {revert as +} for Int;

// ----
// DeclarationError 7920: (27-33): Identifier not found or not unique.