/* was magic 0x00007c7e */