macro DEFN x {
virtual at 0
  x x
  sizeof.#x:
end virtual
}