Prototype Implementation of the Join Calclus Abstract Machine