Tag pointers in interpreted constructors