User-defined extensions now working