Test and debugging of Marko