Host-code-aug