MARK_INT_FAIL
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_MOUNT_STATS);
MARK_INT_FAIL(CODA_UMOUNT_STATS);
MARK_INT_FAIL(CODA_UMOUNT_STATS);
MARK_INT_FAIL(CODA_ROOT_STATS);
MARK_INT_FAIL(CODA_ROOT_STATS);
MARK_INT_FAIL(CODA_CREATE_STATS);
MARK_INT_FAIL(CODA_REMOVE_STATS);
MARK_INT_FAIL(CODA_LINK_STATS);
MARK_INT_FAIL(CODA_RENAME_STATS);
MARK_INT_FAIL(CODA_RENAME_STATS);
MARK_INT_FAIL(CODA_RENAME_STATS);
MARK_INT_FAIL(CODA_MKDIR_STATS);
MARK_INT_FAIL(CODA_MKDIR_STATS);
MARK_INT_FAIL(CODA_RMDIR_STATS);
MARK_INT_FAIL(CODA_SYMLINK_STATS);
MARK_INT_FAIL(CODA_SYMLINK_STATS);
MARK_INT_FAIL(CODA_SYMLINK_STATS);
MARK_INT_FAIL(CODA_READDIR_STATS);
MARK_INT_FAIL(CODA_READDIR_STATS);
MARK_INT_FAIL(CODA_OPEN_STATS);
MARK_INT_FAIL(CODA_RDWR_STATS);
MARK_INT_FAIL(CODA_RDWR_STATS);
MARK_INT_FAIL(CODA_RDWR_STATS);
MARK_INT_FAIL(CODA_RDWR_STATS);
MARK_INT_FAIL(CODA_IOCTL_STATS);
MARK_INT_FAIL(CODA_IOCTL_STATS);
MARK_INT_FAIL(CODA_IOCTL_STATS);
MARK_INT_FAIL(CODA_IOCTL_STATS);
MARK_INT_FAIL(CODA_GETATTR_STATS);
MARK_INT_FAIL(CODA_SETATTR_STATS);
MARK_INT_FAIL(CODA_READLINK_STATS);
MARK_INT_FAIL(CODA_READLINK_STATS);
MARK_INT_FAIL(CODA_LOOKUP_STATS);
MARK_INT_FAIL(CODA_LOOKUP_STATS);