satisfy compiler