more ptal_t (strict)