Symbol: push_scale
usr.bin/dc/bcode.c
185
{ 'X', push_scale },
usr.bin/dc/bcode.c
86
static void push_scale(void);