diff --git a/efiemu/runtime/efiemu.c b/efiemu/runtime/efiemu.c
index f73f843..7118813 100644
--- a/efiemu/runtime/efiemu.c
+++ b/efiemu/runtime/efiemu.c
@@ -271,25 +271,25 @@ EFI_FUNC (efiemu_set_wakeup_time) (grub_efi_boolean_t enabled,
 
 static grub_uint32_t crc32_table [256];
 
-static void
-init_crc32_table (void)
+static grub_uint32_t 
+reflect (grub_uint32_t ref, int len)
 {
-  auto grub_uint32_t reflect (grub_uint32_t ref, int len);
-  grub_uint32_t reflect (grub_uint32_t ref, int len)
+  grub_uint32_t result = 0;
+  int i;
+  
+  for (i = 1; i <= len; i++)
     {
-      grub_uint32_t result = 0;
-      int i;
-
-      for (i = 1; i <= len; i++)
-        {
-          if (ref & 1)
-            result |= 1 << (len - i);
-          ref >>= 1;
-        }
-
-      return result;
+      if (ref & 1)
+	result |= 1 << (len - i);
+      ref >>= 1;
     }
+  
+  return result;
+}
 
+static void
+init_crc32_table (void)
+{
   grub_uint32_t polynomial = 0x04c11db7;
   int i, j;