miscellaneous debugging, design