(BIN) parameterized-trigger.hpi