Implement environment and argument passing.