Value markers

TODO: write about return/continue/break implementation