A development environment for mke-bus