PTAIntΒΆ

See PTA_int