procedure 'list' is now interpreted proc