CPTAIntΒΆ

See CPTA_int