Modular System Programming in MINIX 3