Working RHMC with both static int time and NUTS