added callbacks and adapted interfaces for abstract machine specification