Object-like abitonic implementation compiles

Not tested