for OS design