intbuffer dfaConstructor move