Extracting variability from C and lifting it to mbeddr