Work on debugging the typescript port