Towards a Theory of Re Blockinective Programming Languages (extended Abstract)