Module extensions'routines'stex