defune look automat and export functions stub