User-defined extensions