/* not used by rasp */