tsx nodefault
