proc call done + expression done things to do is type checking