int scope_get_truth_value(struct scope *sc, char *cmd);
int scope_get_int(struct scope *sc, char *cmd);
double scope_get_double(struct scope *sc, char*cmd);
int scope_get_truth_value(struct scope *sc, char *cmd);
int scope_get_int(struct scope *sc, char *cmd);
double scope_get_double(struct scope *sc, char*cmd);