true now defined in trapl
reogranized int extension into one block