Compiled extension