THE KEYWORD pulse-stretcher IS NOT USED