argtyped
