Notes for Firesjin