port sp_envinit)(; sp_einit()