fix a bug in S_enter( venv, ... ), coding function declaration