An implementation of the linear abstract machine, a machine to execute linear logic programs