- create additional empty "token account" of TOKEN_PROGRAM
- make Alice become owner of "temp token account"
- Alice transfer desired amoutn to "temp token account"
- create "writing account" ("PDA"), which stored all of the info of ESCROW_PROGRAM
- initialze token account and transfer Alice's ownership of "temp token account" to "PDA"