@unmanaged
export class StackPointer<T> {
  static create<T>(count: i32): StackPointer<T> {
    assert(!isManaged<T>());
    assert(isReference<T>());
    assert(count > 0);
    let length = offsetof<T>() * count;
    let ptr = __alloc(length, idof<ArrayBuffer>());
    memory.fill(ptr, 0, length);
    return changetype<StackPointer<T>>(ptr);
  }

  @inline
  push(): StackPointer<T> {
    let current = changetype<usize>(this);
    let next = current + offsetof<T>();
    memory.copy(next, current, offsetof<T>());
    return changetype<StackPointer<T>>(next);
  }

  @inline @operator.prefix("++")
  increment(): StackPointer<T> {
    return changetype<StackPointer<T>>(changetype<usize>(this) + offsetof<T>());
  }

  @inline @operator.prefix("--")
  decrement(): StackPointer<T> {
    return changetype<StackPointer<T>>(changetype<usize>(this) - offsetof<T>());
  }

  @inline
  pop(): StackPointer<T> {
    return changetype<StackPointer<T>>(changetype<usize>(this) - offsetof<T>());
  }

  reference(): T {
    return changetype<T>(this);
  }

  dereference(): usize {
    return changetype<usize>(this);
  }
}