Working EBTs and EBT crosses compilation