-/* tab:4
+/*
* "Copyright (c) 2000-2004 The Regents of the University of California.
* All rights reserved.
*
* @author: Jonathan Hui <jwhui@cs.berkeley.edu>
*/
-module LogStorageP {
+module LogStorageP @safe() {
provides {
interface LogRead[uint8_t logId];
interface LogWrite[uint8_t logId];