Added high-level deflator stubs