Copyright 2012 Rasmus Bo Soerensen <rasmus@rbscloud.dk>,
-- Technical University of Denmark, DTU Informatics.
-- All rights reserved.
--
-- Redistribution and use in source and binary forms, with or without
-- modification, are permitted provided that the following conditions are met:
--
-- 1. Redistributions of source code must retain the above copyright notice,
-- this list of conditions and the foll