Implement get_magic_number()