allow passing null machine pointer to drive_init().