value-semantic blocks