BIN: Validate when lauching dla-repl