@sealed export class V128 {
}