RK Added all functions to provide in parsing.rkt.