abstract_typedef
e = Engine();

a = A();
  

if (a.write(e) != 1)
  error
endif