Add codebase for abstract machine