Added hidden module Autofun_check.