Compiled extension.