BlockML: simplifying unsafe modules.