#!/bin/sh
builtin type "$@"