-- action: run -- outcome: trace -- TODO: should be syntax x x = 0