proof of concept for parsing in koka