;;

core drill extension