Use <?hh as the opening tag