Pintos src with working stack for project 2