pointers and mt-safety checking