how to use slapo-refint (or why it doesn't work?)