tapl implementations