Use KCore's builtins