Simple OS kernel pseudocode