add some arguments (from ssreflect)