in nausicaa language: removed <- syntax to specify tags for returned values