#include "s390/get_scno.c"