standalone binary deriving