- define application binary interface
- add some more usefull system calls
- enhance trap handling
- check arithmetic operations for overflow and signed correctness