Explicit types and extract TPN constants