#include "devtab-Inferno.c"