/* Copyright holders: John Elliott see COPYING for more details */ extern device_t incolor_device;