Merge Samuel code

git-svn-id: http://crux-framework.googlecode.com/svn@4670 a5d2bbaa-053c-11de-b17c-0f1ef23b492c