../kernel/single_variable.c